منابع مشابه
Constraint Diagrams: A Step Beyond UML
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An exception to this is the Object Constraint Language (OCL) which is essentially a textual, stylised form of first order predicate logic. We describe a notation, constraint diagrams, which were introduced as a visual techn...
متن کاملMaps beyond Diagrams: Real-World Spatial Orientation
Cognitive models of orientation using aerial-view 2D diagrams such as maps could help us to predict where their contents and design help, or hinder, cognitive processes, resulting in more usable map designs for situations where orientation is a common problem. However, the complex realities of geographic space, and the large scale transformations required with maps, make it less easy to model e...
متن کاملBeyond spot diagrams: End-user oriented optical design
In this talk, two examples are given of the process of translating user requirements into optimization and assessment tools. In the first place, recent work on the effects of aberrations on the perceived image quality of visual instruments is reviewed. This allows the assessment of a visual system in terms of expected loss of contrast and resolution as a function of aberration, and also the for...
متن کاملOrdered Binary Decision Diagrams, Pigeonhole Formulas and Beyond
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomially. Here we show that an arbitrary OBDD refutation of the pigeonhole formula has exponential size: we prove that for any order of computation at least one intermediate OBDD in the proof has size Ω(1.14n). We also pres...
متن کاملBeyond Alternating Permutations: Pattern Avoidance in Young Diagrams and Tableaux
We investigate pattern avoidance in alternating permutations and generalizations thereof. First, we study pattern avoidance in an alternating analogue of Young diagrams. In particular, we extend Babson-West’s notion of shape-Wilf equivalence to apply to alternating permutations and so generalize results of Backelin-West-Xin and Ouchterlony to alternating permutations. Second, we study pattern a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2011
ISSN: 0028-0836,1476-4687
DOI: 10.1038/469165a